<?php

function smarty_modifier_number_format($number, $decimals = 0, $decimalpoint = ",", $separator = ".")
{
    return number_format($number, $decimals, $decimalpoint, $separator);
}

?>
